随着XML技术的迅速发展和广泛应用,XML技术本身暴露出越来越多的问题:大多数XML规范还处于工作草案阶段;规范之间存在严重的依赖关......

Formal methods offer the promise of significant improvement on quality and reliability of critical embedded software. B-......

阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性。为降低直接使用形式化方法的难度,提出B方法......

文章研究在高可信软件工程中集成形式化方法.以软件设计的UML状态机模型为起点,将其转换为B形式化模型,然后在B工具环境中遵循B方......

精确的软件需求规约是确保软件质量的基础，软件过程中保证方法更为重要，良好的方法可以保证在产品的开发过程中不引入人为的错误。现......

状态图是UML动态视图之一，主要描述对象的动态行为，但缺乏彤式化的动态语义，不利于软件从需求到代码的自动化转换。B语言支持形式化规......